CatDat

Implication Details

Assumptions: connected limitsself-dual

Conclusions: connected colimits

Proof: This holds by self-duality.